A graphical tool for the ZX calculus
ZX-calculus GUI quantum circuit optimization graphs research tool teaching tool